The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Narciso Martí-Oliet Books

Results for Narciso Martí-Oliet

Showing 1 to 3 of 3 results
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings ... / Programming and Software Engineering) Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings ... / Programming and Software Engineering) by Christiano Braga, Narciso Martí-Oliet

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings ... / Programming and Software Engineering)

by Christiano Braga, Narciso Martí-Oliet


ISBN 13: 9783319150741

Format: Paperback (192 pages)
Publisher: Springer
Published: 28 Feb 2015

Save for later

 
New : $44.85  
New : $44.85
Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, IL, USA, September 23-25, 2015, Proceedings (Lecture Notes in Computer Science) Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, IL, USA, September 23-25, 2015, Proceedings (Lecture Notes in Computer Science) by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, IL, USA, September 23-25, 2015, Proceedings (Lecture Notes in Computer Science)

by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott


ISBN 13: 9783319231648

Format: Paperback (636 pages)
Publisher: Springer
Published: 10 Oct 2015

Save for later

 
New : $57.01  
New : $57.01
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Lecture Notes in Computer Science) Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Lecture Notes in Computer Science) by Narciso Martí-Oliet, Miguel Palomino

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Lecture Notes in Computer Science)

by Narciso Martí-Oliet, Miguel Palomino


ISBN 13: 9783642376344

Format: Paperback (296 pages)
Publisher: Springer
Published: 13 Apr 2013

Save for later

 
New : $56.66  
New : $56.66